; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple thumbv7s-apple-darwin  -asm-verbose=false | FileCheck %s
; RUN: llc < %s -mtriple thumbv7s-apple-darwin  -asm-verbose=false -stop-after=if-converter | FileCheck --check-prefix=CHECK-PROB %s

declare i32 @foo(i32)
declare ptr @bar(i32, ptr, ptr)

; Verify that we don't try to iteratively re-ifconvert a block with a
; (predicated) indirectbr terminator.
; If we do, we would ignore its fallthrough successor.

; CHECK-PROB: bb.0{{[0-9a-zA-Z.]*}}:
; CHECK-PROB: successors: %bb.1(0x40000000), %bb.3(0x20000000), %bb.4(0x20000000)
; CHECK-PROB: bb.2{{[0-9a-zA-Z.]*}}:
; CHECK-PROB: successors: %bb.3(0x40000000), %bb.4(0x40000000)

define i32 @test(i32 %a, i32 %a2, ptr %p, ptr %p2) "frame-pointer"="all" {
; CHECK-LABEL: test:
; CHECK:         push {r4, r5, r6, r7, lr}
; CHECK-NEXT:    add r7, sp, #12
; CHECK-NEXT:    push.w {r8, r10, r11}
; CHECK-NEXT:    str r3, [sp, #-4]!
; CHECK-NEXT:    mov r11, r2
; CHECK-NEXT:    mov r4, r1
; CHECK-NEXT:    mov r5, r0
; CHECK-NEXT:    ldr r6, LCPI0_0
; CHECK-NEXT:  LPC0_1:
; CHECK-NEXT:    add r6, pc
; CHECK-NEXT:    ldr.w r8, LCPI0_1
; CHECK-NEXT:  LPC0_0:
; CHECK-NEXT:    add r8, pc
; CHECK-NEXT:    movs r0, #1
; CHECK-NEXT:    mov r1, r6
; CHECK-NEXT:    mov r2, r8
; CHECK-NEXT:    bl _bar
; CHECK-NEXT:    mov r10, r0
; CHECK-NEXT:    movs r0, #2
; CHECK-NEXT:    mov r1, r6
; CHECK-NEXT:    mov r2, r8
; CHECK-NEXT:    bl _bar
; CHECK-NEXT:    movs r0, #3
; CHECK-NEXT:    mov r1, r6
; CHECK-NEXT:    mov r2, r8
; CHECK-NEXT:    bl _bar
; CHECK-NEXT:    cmp r5, #21
; CHECK-NEXT:    itttt eq
; CHECK-NEXT:    moveq r1, r0
; CHECK-NEXT:    streq.w r5, [r11]
; CHECK-NEXT:    movweq r0, #1234
; CHECK-NEXT:    moveq pc, r1
; CHECK-NEXT:  LBB0_1:
; CHECK-NEXT:    cmp r4, #42
; CHECK-NEXT:    beq LBB0_4
; CHECK-NEXT:    ldr r0, [sp]
; CHECK-NEXT:    str r5, [r0]
; CHECK-NEXT:    movw r0, #1234
; CHECK-NEXT:    mov pc, r10
; CHECK-NEXT:  Ltmp0:
; CHECK-NEXT:  LBB0_3:
; CHECK-NEXT:    movw r0, #4567
; CHECK-NEXT:    b LBB0_5
; CHECK-NEXT:  LBB0_4:
; CHECK-NEXT:    movw r0, #1234
; CHECK-NEXT:  Ltmp1:
; CHECK-NEXT:  LBB0_5:
; CHECK-NEXT:    bl _foo
; CHECK-NEXT:    add sp, #4
; CHECK-NEXT:    pop.w {r8, r10, r11}
; CHECK-NEXT:    pop {r4, r5, r6, r7, pc}
; CHECK-NEXT:    .p2align 2
entry:
  %dst1 = call ptr @bar(i32 1, ptr blockaddress(@test, %bb1), ptr blockaddress(@test, %bb2))
  %dst2 = call ptr @bar(i32 2, ptr blockaddress(@test, %bb1), ptr blockaddress(@test, %bb2))
  %dst3 = call ptr @bar(i32 3, ptr blockaddress(@test, %bb1), ptr blockaddress(@test, %bb2))
  %cc1 = icmp eq i32 %a, 21
  br i1 %cc1, label %cc1t, label %cc1f

cc1t:
  store i32 %a, ptr %p
  indirectbr ptr %dst3, [label %bb1, label %bb2]

cc1f:
  %cc2 = icmp ne i32 %a2, 42
  br i1 %cc2, label %cc2t, label %bb1
cc2t:
  store i32 %a, ptr %p2
  indirectbr ptr %dst1, [label %bb1, label %bb2]

bb1:
  %ret_bb1 = call i32 @foo(i32 1234)
  ret i32 %ret_bb1
bb2:
  %ret_bb2 = call i32 @foo(i32 4567)
  ret i32 %ret_bb2
}
